$\forall$$T$:Type, ${\it ll}_{1}$, ${\it ll}_{2}$:($T$ List List). ${\it ll}_{1}$ $\leq$ ${\it ll}_{2}$ $\Rightarrow$ concat(${\it ll}_{1}$) $\leq$ concat(${\it ll}_{2}$)